000read.me
aaareadme.txt
dvidis.doc
dvidis.exe
dvidis_setup.com
dvidisvax.exe
halftonex.300pk
pxtopk.dvi
pxtopk_orig.vms-changes
pxtopk_orig.web
texfonts.sub
texfonts.sub-suggest
vaxinate.cld
vaxinate.for